Buy Used and New Maurice H .ter Beek Books

Critical Systems: Formal Methods and Automated Verification: Formal Methods and Automated Verification : Joint 21st International Workshop on Formal ... 9933 (Lecture Notes in Computer Science)

by Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp

ISBN 13: 9783319459424

Format: Paperback (264 pages)
Publisher: Springer
Published: 14 Sep 2016

Save for later